shortest edit script